Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
381	PDF Document Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:56 Model theory Theory Constructible universe Science Logic Information retrieval Natural language processing
382	Full Substitutability∗ John William Hatfield† Scott Duke Kominers‡ Michael Ostrovsky¶ Add to Reading List Source URL: www.scottkom.com Language: English - Date: 2015-05-05 17:36:17 Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Liskov substitution principle Ordinal number Theoretical computer science Mathematical logic Model theory Logic
383	Analytical theory of the shear Alfv´ en continuum in the presence of a magnetic island 1, a) C. R. Cook and C. C. Hegna1 Departments of Physics and Engineering Physics, University of Wisconsin-Madison, Madison, WI 53706 Add to Reading List Source URL: www.cptc.wisc.edu Language: English - Date: 2015-04-17 16:02:54 Constructible universe Forcing
384	Zhang et al. Advances in Diﬀerence Equations:108 DOIs13662RESEARCH Open Access Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Mathematics Proof theory Transcendental numbers Ordinal numbers Logic Constructible universe Mathematical logic Diophantine approximation
385	dodatok.tex May 30, 2014 I’ve put this text online on November 2, 2011. Since then I’ve occasionally corrected some typos. The answer to [SZ, Problem 1] is affirmative, d(A) = d∞ (A) holds for any A ⊆ N. Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2014-05-30 14:08:33 Θ Constructible universe Limit superior and limit inferior Logic Mathematics Descriptive set theory Determinacy
386	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming
387	Econometrica, Vol. 70, No. 6 (November, 2002), 2481–2488 NOTES AND COMMENTS RATIONALIZING CHOICE FUNCTIONS BY MULTIPLE RATIONALES By Gil Kalai, Ariel Rubinstein, and Ran Spiegler1 Add to Reading List Source URL: arielrubinstein.tau.ac.il Language: English - Date: 2004-12-21 11:12:16 Structure Voting systems Abstraction Econometrics Independence of irrelevant alternatives Voting system criteria Constructible universe Function Social Choice and Individual Values Mathematics Social choice theory Order theory
388	Primes with an Average Sum of Digits Michael Drmota, Christian Mauduit and Joël Rivat Abstract The main goal of this paper is to provide asymptotic expansions for the numbers Add to Reading List Source URL: www.dmg.tuwien.ac.at Language: English - Date: 2008-07-17 06:33:18 Diophantine approximation Arithmetic function Central limit theorem Normal distribution Prime number Constructible universe Prime-counting function Transcendental numbers Liouville number Mathematics Mathematical analysis Statistics
389	Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande Abhaya C. Nayak Maurice Pagnucco∗ School of CSE School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:38:27 Knowledge representation Interpretation Constructible universe Entailment Linear temporal logic Μ operator Logic Model theory Belief revision
390	Astronomy & Astrophysics A&A 539, A35DOI: Add to Reading List Source URL: www.aanda.org Language: English Symbol Constructible universe

UPDATE